Celestin Apprentice 7/Apprentice-Release7.iso/Source Code/C/Applications/Moscow ML 1.42/src/compiler/Compiler.sig

Text File | 1997-08-18 | 773 b | 21 lines | [TEXT/R*ch]

local
  open Mixture Globals Asynt;
in

val createLexerStream : BasicIO.instream -> Lexing.lexbuf;
        (* Create a lexer buffer on the given input channel.
           [createLexerStream inchan] returns a lexer buffer which reads
           from the input channel [inchan], at the current reading position. *)

val parseToplevelPhrase : Lexing.lexbuf -> Dec * bool;
val cleanEnv : (''_a, 'b) Env -> (''_a * 'b) list;
val reportFixityResult : string * InfixStatus -> unit;
val reportTypeResult : TyName -> unit;
val lookup_new_cBas : ConBasis -> string -> ConStatus;
val verbose : bool ref;
val report_comp_results : InfixBasis -> ConBasis -> VarEnv -> TyEnv -> unit;
val compileSignature : string -> string -> unit;
val compileUnitBody : string -> string -> unit;

end;